Nuprl Definition : hd
11,40
postcript
pdf
hd(
l
) == rec-case(
l
) of [] => [] |
h
::
t
=>
v
.
h
latex
Definitions
rec-case(
a
) of [] =>
s
|
x
::
y
=>
z
.
t
(
x
;
y
;
z
)
,
[]
FDL editor aliases
hd
origin